$a$ = $b$ mod $m$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$m$ $\mid$ $a$$-$$b$